Mathematics of program construction - 6th international conference, MPC 2002, Dagstuhl Castle, Germany, Julu 8-10, 2002 : proceedings
- Författare
- Bernhard Möller Eerke A Boiten International Conference on the Mathematics of Program Construction 2002) Dagstuhl :
- (Eerke A. Boiten, Bernhard Möller (eds.).)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2002 | Tyskland, Berlin | x, 262 sidor. ill. |